Software Security Growth Modeling: Examining Vulnerabilities with Reliability Growth Models
نویسنده
چکیده
The software engineering tools historically used to examine faults can also be used to examine vulnerabilities and the rate at which they are discovered. I discuss the challenges of the collection process and compare two sets of vulnerability characterization criteria. I collected fifty-four months of vulnerability data for OpenBSD 2.2 and applied seven reliability growth models to the two data sets. These models only passed applicability tests for the data set that omits dependent data points. Musa’s Logarithmic model has the best one-step-ahead predictive accuracy of the three acceptably accurate models for that data set. It estimated that fifty-four months after OpenBSD 2.2’s release, the mean time to vulnerability discovery for OpenBSD 2.2 was 42.5 days and that 58.4% of the vulnerabilities it contains had been found. However, a trend analysis cannot rule out the possibility that there is no trend at all in the rate of vulnerability detection, and this result casts doubts on the accuracy of the reliability growth models. The lack of a clear decreasing trend in that analysis highlights one of the challenges of using reliability growth models on vulnerability data: it may be a true reflection of the system or it may be caused by the changes over time in the effort invested in vulnerability detection.
منابع مشابه
Security Modeling and Evaluation for the Mobile Code Paradigm
Software reliability modeling is a successful attempt to give quantitative measures of software systems. In the broadest sense, security is one of the aspects of reliability. A system is likely to be more reliable if it is more secure. One of the pioneering efforts to integrate security and reliability is [2]. In this paper, these similarities between security and reliability were observed. Sec...
متن کاملDiscrete software reliability assessment with discretized NHPP models
A software reliability growth model is one of the fundamental technique to assess software reliability quantitatively. The software reliability growth model is required to have a good performance in terms of goodness-of-fit, predictability, and so forth. In this paper, we propose dis-cretized software reliability growth models. As to the software reliability growth modeling, discretized nonhomo...
متن کاملSoftware Reliability Management
This entry identifies the factors that control software reliability and the approaches that are needed to achieve desired reliability targets. Common reliability measures are defined. The factors that impact defect density and defect finding rates are discussed and software reliability growth modeling is introduced. Both test-timeand test-coverage-based models are introduced. Modeling for secur...
متن کاملSoftware Reliability Growth Models Incorporating Burr Type III Test-Effort and Cost-reliability Analysis
Software reliability growth model is one of the fundamental techniques to assess software reliability quantitatively. A number of testing-effort functions for modeling software reliability based on the nonhomogeneous Poisson process (NHPP) have been proposed in the past decades. Although these models are quite helpful for the software testing, we still need to put more testing-effort into softw...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کامل